<html>
<head><meta charset="utf-8"><title>polonius walkthrough · t-compiler/wg-polonius · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/index.html">t-compiler/wg-polonius</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/polonius.20walkthrough.html">polonius walkthrough</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="160241804"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/polonius%20walkthrough/near/160241804" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/polonius.20walkthrough.html#160241804">(Mar 07 2019 at 22:00)</a>:</h4>
<p>For the next recorded Polonius video session, I was thinking a good topic would be a "walkthrough". The goal is to connect theory and code and try to show how everything <strong>works</strong>.  I am hoping we can do this some time next week.</p>
<p>From the <a href="https://paper.dropbox.com/doc/Polonius-Roadmap--AY6nI2vMI1hk33qKxPLiu~mxAg-hk3a9ynduUN2gk1A0NNTF" target="_blank" title="https://paper.dropbox.com/doc/Polonius-Roadmap--AY6nI2vMI1hk33qKxPLiu~mxAg-hk3a9ynduUN2gk1A0NNTF">Polonius planning document</a>:</p>
<p>- Walk through a simple example and connect it to the code<br>
    - here is where we compute this relation<br>
    - here is how data is transferred between rustc<br>
    - here is how the datafrog code works</p>



<a name="160241820"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/polonius%20walkthrough/near/160241820" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/polonius.20walkthrough.html#160241820">(Mar 07 2019 at 22:00)</a>:</h4>
<p>Maybe <span class="user-mention" data-user-id="204115">@Albin Stjerna</span>, you can create a doodle poll with some times that work for you? (Since you're a major part of the audience)</p>



<a name="160443168"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/polonius%20walkthrough/near/160443168" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/polonius.20walkthrough.html#160443168">(Mar 11 2019 at 01:19)</a>:</h4>
<p>Ok, here are two Doodles (mixing time zones turned out to be just too complicated): </p>
<ul>
<li><a href="https://doodle.com/poll/4tkdchcg5t4ecn29" target="_blank" title="https://doodle.com/poll/4tkdchcg5t4ecn29">this week, Melbourne time</a></li>
<li><a href="https://doodle.com/poll/v49e6m2xsntywetz" target="_blank" title="https://doodle.com/poll/v49e6m2xsntywetz">end of this week, Stockholm time</a></li>
</ul>
<p>I pre-propagated unreasonable Boston (and Melbourne/Stockholm) times. Now seriously considering always staying on some fixed time zone regardless of where I am currently living.</p>



<a name="160885258"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/polonius%20walkthrough/near/160885258" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/polonius.20walkthrough.html#160885258">(Mar 15 2019 at 15:30)</a>:</h4>
<p>Walkthrough starting now</p>



<a name="160885260"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/polonius%20walkthrough/near/160885260" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/polonius.20walkthrough.html#160885260">(Mar 15 2019 at 15:30)</a>:</h4>
<p><a href="https://paper.dropbox.com/doc/Polonius-Walkthrough-2--AZVdfdGwg3j9xs693~KyChtnAg-Wr90dk3V5DQQem9duos4P" target="_blank" title="https://paper.dropbox.com/doc/Polonius-Walkthrough-2--AZVdfdGwg3j9xs693~KyChtnAg-Wr90dk3V5DQQem9duos4P">Here is a paper document</a></p>



<a name="160887890"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/polonius%20walkthrough/near/160887890" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/polonius.20walkthrough.html#160887890">(Mar 15 2019 at 16:01)</a>:</h4>
<p>OK, marathon! I hope that made sense to you two, <span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> and <span class="user-mention" data-user-id="204115">@Albin Stjerna</span> =)</p>



<a name="160887947"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/polonius%20walkthrough/near/160887947" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/polonius.20walkthrough.html#160887947">(Mar 15 2019 at 16:02)</a>:</h4>
<p>Yes it did! The "it's like a database" was very helpful in particular, because now I can just mentally model it as "sort of like Hadoop"</p>



<a name="160888006"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/polonius%20walkthrough/near/160888006" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/polonius.20walkthrough.html#160888006">(Mar 15 2019 at 16:02)</a>:</h4>
<p>It's also "sort of like constraint propagation, except backwards"</p>



<a name="160911714"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/polonius%20walkthrough/near/160911714" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/polonius.20walkthrough.html#160911714">(Mar 15 2019 at 20:41)</a>:</h4>
<p><span class="user-mention" data-user-id="204115">@Albin Stjerna</span> <a href="https://youtu.be/i5KdU0ieb_A" target="_blank" title="https://youtu.be/i5KdU0ieb_A">video posted</a></p>



<a name="160911808"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/polonius%20walkthrough/near/160911808" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/polonius.20walkthrough.html#160911808">(Mar 15 2019 at 20:42)</a>:</h4>
<p><span class="user-mention" data-user-id="204115">@Albin Stjerna</span> do you think you could open a PR to <a href="https://github.com/rust-lang/compiler-team/blob/master/working-groups/polonius/README.md" target="_blank" title="https://github.com/rust-lang/compiler-team/blob/master/working-groups/polonius/README.md">add a link to the Polonius WG readme</a>? Actually, ideally we'd add a link to the playlist</p>



<a name="160912590"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/polonius%20walkthrough/near/160912590" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/polonius.20walkthrough.html#160912590">(Mar 15 2019 at 20:52)</a>:</h4>
<blockquote>
<p><span class="user-mention silent" data-user-id="204115">Albin Stjerna</span> do you think you could open a PR to <a href="https://github.com/rust-lang/compiler-team/blob/master/working-groups/polonius/README.md" target="_blank" title="https://github.com/rust-lang/compiler-team/blob/master/working-groups/polonius/README.md">add a link to the Polonius WG readme</a>? Actually, ideally we'd add a link to the playlist</p>
</blockquote>
<p><a href="https://github.com/rust-lang/compiler-team/pull/44" target="_blank" title="https://github.com/rust-lang/compiler-team/pull/44">Done</a>!</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>